Generalized algebraic data type - PDFSEARCH.IO - Document Search Engine

Generalized algebraic data type
Results: 55

#	Item
21	Catch me if you can Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller Arnaud Spiwack Add to Reading List Source URL: www.univ-orleans.fr Language: English - Date: 2008-06-26 18:25:04 Type theory Functional programming Data types Control flow Functional languages Eval Monad Type system Generalized algebraic data type Software engineering Computing Declarative programming
22	1 A modern eye on ML type inference Old techniques and recent developments Franc¸ois Pottier Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-09-20 09:57:28 Computing Type inference ML Type system Generalized algebraic data type Hindley–Milner Hindley Lambda calculus Programming language theory Type theory Software engineering
23	Draft for submission to HaskellDependently Typed Programming with Singletons Richard A. Eisenberg Stephanie Weirich Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-07-24 01:40:03 Programming language theory Data types Functional programming Functional languages Generalized algebraic data type Type class Generic programming Algebraic data type Kind Software engineering Type theory Computing
24	A modern eye on ML type inference – Old techniques and recent developments – Franc¸ois Pottier INRIA September 2005 Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2007-01-26 09:13:38 Computing Type inference Type system Lambda calculus Constraint programming Hindley–Milner Generalized algebraic data type Constraint satisfaction Standard ML Software engineering Programming language theory Type theory
25	Under consideration for publication in J. Functional Programming 1 Finally Tagless, Partially Evaluated Tagless Staged Interpreters for Simpler Typed Languages Add to Reading List Source URL: okmij.org Language: English - Date: 2011-07-01 22:41:16 Type theory Data types Functional languages Functional programming Procedural programming languages Generalized algebraic data type Type system OCaml Type inference Software engineering Programming language theory Computing
26	Typed Self-Representation Tillmann Rendel Klaus Ostermann Christian Hofer Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2009-03-29 13:41:42 Programming language theory Type theory Fixed-point combinator Simply typed lambda calculus System F Typed lambda calculus Type system Generalized algebraic data type Entailment Theoretical computer science Software engineering Lambda calculus
27	Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:26 Type theory Data types Functional languages Formal methods Theoretical computer science Dependent type Lambda calculus Type system Generalized algebraic data type Programming language theory Software engineering Computing
28	Dependently Typed Programming with Singletons Richard A. Eisenberg Stephanie Weirich University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:08 Programming language theory Data types Functional programming Functional languages Generalized algebraic data type Type class Algebraic data type Haskell Generic programming Software engineering Type theory Computing
29	PolyAML: A Polymorphic Aspect-oriented Functional Programming Language Daniel S. Dantas Geoffrey Washburn Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Type theory Aspect-oriented software development Aspect-oriented programming Data types Functional languages Pointcut Generalized algebraic data type Standard ML Type system Software engineering Software development Computing
30	Open Data Types and Open Functions Andres L¨oh Ralf Hinze Institut f¨ur Informatik III, Universit¨at Bonn Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Type theory Functional programming Data types Recursion Higher-order functions Generalized algebraic data type Algebraic data type Eval Type system Software engineering Computing Computer programming